Algorithmes de programmation convexe par linéarisation en format constant

Modélisation de réseaux biologiques discrets en programmation logique par contraintes

RÉSUMÉ. Des outils informatiques sont nécessaires au développement de la biologie systémique pour analyser qualitativement la dynamique des réseaux d’interaction. Dans ce contexte, notre objectif est de développer un outil autour d’une spécification unique qui permette aux biologistes dans un contexte de connaissances incomplètes et qualitatives, (i) d’inférer des modèles à partir de propriétés...

Programmation par objets structurée en contextes

Object-oriented programming is well-recognised to facilitate the design of complex systems which manipulate numerous and diversified objects. This complexity increases when the system must support a multitude of functions determining applicative contexts or points of view on objects. It gives rise to the question of orthogonality between objects and functions. After a review of existing works, ...

Expressions Itérées en Programmation par Contraintes

To state advanced optimization and decision problems, it is desirable to impose constraints on complex expressions that involve nested ”iterated”operations like P i , mini, etc. For instance, we typically need such expressions to write down the expected value of a function whose inputs include random variables. We argue that iterated expressions provide a clear and natural construct for express...

Partitionnement Déterministe pour Résoudre les Problèmes de Programmation Par Contraintes en utilisant le Framework Parallèle Bobpp

Résumé Cet article présente une stratégie de partitionnement déterministe pour paralléliser le parcours des espaces de recherche, dans le but de résoudre les problèmes de Programmation Par Contraintes (PPC). Ce travail est réalisé dans le cadre d’un projet industriel nommé PAJERO, dont le but est de proposer un solveur de PPC parallèle qui doit répondre toujours la même solution en utilisant le...

Langages de programmation en commande numérique de machines-outils